Systolic Tree Acceptors
نویسندگان
چکیده
— This paper introduces systolic automata for VLSI as highly concurrent acceptors. Attention is focused on tree automata although other types are also discussed briefly. A number of preliminary results about the capabilities of such automata are obtained. The approach not only opens up a new and interesting area oflanguage theory but also its results give useful hints for VLSI system design particularly with regard to the pros and cons of spécifie geometrie structures. Résumé. — Cet article introduit les automates systoliques pour VLSI comme accepteurs avec un grand degré de parallélisme. Vattention est concentrée sur les automates d'arbres, même si d'autres types sont aussi rapidement discutés. On obtient un certain nombre de résultats préliminaires sur de tels automates. L'approche ouvre un domaine nouveau et intéressant en théorie des langages; mais ses résultats donnent aussi des indications utiles pour la conception de systèmes VLSI, en particulier en ce qui concerne les « pros » et « cons » de certaines structures géométriques.
منابع مشابه
Systolic Automata and P Systems
Systolic automata are models of highly-concurrent language acceptors based on identical processors with one-way flow of information, amenable to efficient hardware implementation as multiprocessor chips. In this paper we investigate the relationship between Binary Systolic TreeAutomata (BSTA), inwhich the underlying communication structure is an infinite complete binary tree with parallel botto...
متن کاملBottom-Up Tree Acceptors
This paper deals with the formal derivation of an eecient tabulation algorithm for table-driven bottom-up tree acceptors. Bottom-up tree acceptors are based on a notion of match sets. First we derive a naive acceptance algorithm using dynamic computation of match sets. Tabulation of match sets leads to an eecient acceptance algorithm, but tables may be so large that they can not be generated du...
متن کاملTowards Probabilistic Acceptors and Transducers for Feature Structures
Weighted finite-state acceptors and transducers (Pereira and Riley, 1997) are a critical technology for NLP and speech systems. They flexibly capture many kinds of stateful left-toright substitution, simple transducers can be composed into more complex ones, and they are EMtrainable. They are unable to handle long-range syntactic movement, but tree acceptors and transducers address this weaknes...
متن کاملSystolic Tree !-Languages
The class of !-languages recognized by systolic tree automa-ta is introduced. That class extends the class of B uchi !-languages and is closed under boolean operations. The emptiness problem for systolic tree automata on innnite sequences is decidable. A characterization of sys-tolic tree !-languages in terms of a (suitable) concatenation of ((nitary) systolic tree languages is also provided.
متن کاملSystolic Tree ! - Languages : The Operational andthe Logical
The class of !-languages recognized by systolic (binary) tree automata is introduced. That class extends the class of B uchi !-languages though maintaining the closure under union, intersection and complement and the decidability of emptiness. The class of systolic tree !-languages is characterized in terms of a (suitable) concatenation of ((nitary) systolic tree languages. A generalization of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- ITA
دوره 18 شماره
صفحات -
تاریخ انتشار 1984